Automatic Software-Based Self Test Generation for Embedded Processors
نویسندگان
چکیده
منابع مشابه
Model-based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines....
متن کاملOn the Automatic Generation of Software-Based Self-Test Programs for Functional Test and Diagnosis of VLIW Processors
Software-Based Self-Test (SBST) approaches have shown to be an effective solution to detect permanent faults, both at the end of the production process, and during the operational phase. However, when Very Long Instruction Word (VLIW) processors are addressed these techniques require some optimization steps in order to properly exploit the parallelism intrinsic in these architectures. In this c...
متن کاملEmbedded Software-Based Self-Test for Programmable Core-Based Designs
At-speed testing of high-speed circuits is becoming increasingly difficult with external testers. Therefore, empowering the chip to test itself seems like a natural solution. Hardware-based selftesting techniques have limitations due to performance and area overhead as well as problems caused by application of non-functional patterns. Another possible solution is software-based self-testing whe...
متن کاملFault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines....
متن کاملSystematic Test Data Generation for Embedded Software
Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where timing constraints play a significant role. Test data generation is done manually nowadays, though it should be automated to the highest possible extent. Hereby, a concept for testing at the model level is introduced. Fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2018
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2018.07.141